Песня гости из будущего - все решено (теорема)